Nuprl Definition : less_than def 13,42
a < b is Primitive 
latex

Upcore 1, core 1

origin